Copied to
clipboard

G = D72  order 196 = 22·72

Direct product of D7 and D7

direct product, metabelian, supersoluble, monomial, A-group

Aliases: D72, C7⋊1D14, C72⋊C22, C7⋊D7⋊C2, (C7×D7)⋊C2, SmallGroup(196,9)

Series: Derived ►Chief ►Lower central ►Upper central

C1 — C72 — D72
C1 — C7 — C72 — C7×D7 — D72
C72 — D72
C1

Generators and relations for D72
 G = < a,b,c,d | a7=b2=c7=d2=1, bab=a-1, ac=ca, ad=da, bc=cb, bd=db, dcd=c-1 >

7C2
7C2
49C2
2C7
2C7
2C7
49C22
7C14
7D7
7C14
7D7
14D7
14D7
14D7
7D14
7D14

Character table of D72

 class 12A2B2C7A7B7C7D7E7F7G7H7I7J7K7L7M7N7O14A14B14C14D14E14F
 size 17749222222444444444141414141414
ρ11111111111111111111111111    trivial
ρ21-11-1111111111111111-1-1111-1    linear of order 2
ρ31-1-11111111111111111-1-1-1-1-1-1    linear of order 2
ρ411-1-111111111111111111-1-1-11    linear of order 2
ρ52-200222ζ74+ζ73ζ76+ζ7ζ75+ζ72ζ76+ζ7ζ75+ζ72ζ76+ζ7ζ74+ζ73ζ76+ζ7ζ75+ζ72ζ75+ζ72ζ74+ζ73ζ74+ζ73-ζ75-ζ72-ζ74-ζ73000-ζ76-ζ7    orthogonal lifted from D14
ρ62-200222ζ76+ζ7ζ75+ζ72ζ74+ζ73ζ75+ζ72ζ74+ζ73ζ75+ζ72ζ76+ζ7ζ75+ζ72ζ74+ζ73ζ74+ζ73ζ76+ζ7ζ76+ζ7-ζ74-ζ73-ζ76-ζ7000-ζ75-ζ72    orthogonal lifted from D14
ρ72-200222ζ75+ζ72ζ74+ζ73ζ76+ζ7ζ74+ζ73ζ76+ζ7ζ74+ζ73ζ75+ζ72ζ74+ζ73ζ76+ζ7ζ76+ζ7ζ75+ζ72ζ75+ζ72-ζ76-ζ7-ζ75-ζ72000-ζ74-ζ73    orthogonal lifted from D14
ρ820-20ζ74+ζ73ζ76+ζ7ζ75+ζ72222ζ76+ζ7ζ76+ζ7ζ74+ζ73ζ75+ζ72ζ75+ζ72ζ75+ζ72ζ74+ζ73ζ74+ζ73ζ76+ζ700-ζ74-ζ73-ζ76-ζ7-ζ75-ζ720    orthogonal lifted from D14
ρ920-20ζ76+ζ7ζ75+ζ72ζ74+ζ73222ζ75+ζ72ζ75+ζ72ζ76+ζ7ζ74+ζ73ζ74+ζ73ζ74+ζ73ζ76+ζ7ζ76+ζ7ζ75+ζ7200-ζ76-ζ7-ζ75-ζ72-ζ74-ζ730    orthogonal lifted from D14
ρ102200222ζ75+ζ72ζ74+ζ73ζ76+ζ7ζ74+ζ73ζ76+ζ7ζ74+ζ73ζ75+ζ72ζ74+ζ73ζ76+ζ7ζ76+ζ7ζ75+ζ72ζ75+ζ72ζ76+ζ7ζ75+ζ72000ζ74+ζ73    orthogonal lifted from D7
ρ1120-20ζ75+ζ72ζ74+ζ73ζ76+ζ7222ζ74+ζ73ζ74+ζ73ζ75+ζ72ζ76+ζ7ζ76+ζ7ζ76+ζ7ζ75+ζ72ζ75+ζ72ζ74+ζ7300-ζ75-ζ72-ζ74-ζ73-ζ76-ζ70    orthogonal lifted from D14
ρ122020ζ76+ζ7ζ75+ζ72ζ74+ζ73222ζ75+ζ72ζ75+ζ72ζ76+ζ7ζ74+ζ73ζ74+ζ73ζ74+ζ73ζ76+ζ7ζ76+ζ7ζ75+ζ7200ζ76+ζ7ζ75+ζ72ζ74+ζ730    orthogonal lifted from D7
ρ132020ζ75+ζ72ζ74+ζ73ζ76+ζ7222ζ74+ζ73ζ74+ζ73ζ75+ζ72ζ76+ζ7ζ76+ζ7ζ76+ζ7ζ75+ζ72ζ75+ζ72ζ74+ζ7300ζ75+ζ72ζ74+ζ73ζ76+ζ70    orthogonal lifted from D7
ρ142020ζ74+ζ73ζ76+ζ7ζ75+ζ72222ζ76+ζ7ζ76+ζ7ζ74+ζ73ζ75+ζ72ζ75+ζ72ζ75+ζ72ζ74+ζ73ζ74+ζ73ζ76+ζ700ζ74+ζ73ζ76+ζ7ζ75+ζ720    orthogonal lifted from D7
ρ152200222ζ74+ζ73ζ76+ζ7ζ75+ζ72ζ76+ζ7ζ75+ζ72ζ76+ζ7ζ74+ζ73ζ76+ζ7ζ75+ζ72ζ75+ζ72ζ74+ζ73ζ74+ζ73ζ75+ζ72ζ74+ζ73000ζ76+ζ7    orthogonal lifted from D7
ρ162200222ζ76+ζ7ζ75+ζ72ζ74+ζ73ζ75+ζ72ζ74+ζ73ζ75+ζ72ζ76+ζ7ζ75+ζ72ζ74+ζ73ζ74+ζ73ζ76+ζ7ζ76+ζ7ζ74+ζ73ζ76+ζ7000ζ75+ζ72    orthogonal lifted from D7
ρ1740002ζ76+2ζ72ζ75+2ζ722ζ74+2ζ732ζ74+2ζ732ζ76+2ζ72ζ75+2ζ72-ζ75-ζ72-1ζ74+ζ73+2ζ75+ζ72+2ζ76+ζ7+2-ζ76-ζ7-1-ζ74-ζ73-1-ζ75-ζ72-1-ζ76-ζ7-1-ζ74-ζ73-1000000    orthogonal faithful
ρ1840002ζ74+2ζ732ζ76+2ζ72ζ75+2ζ722ζ75+2ζ722ζ74+2ζ732ζ76+2ζ7-ζ76-ζ7-1ζ75+ζ72+2ζ76+ζ7+2ζ74+ζ73+2-ζ74-ζ73-1-ζ75-ζ72-1-ζ76-ζ7-1-ζ74-ζ73-1-ζ75-ζ72-1000000    orthogonal faithful
ρ1940002ζ74+2ζ732ζ76+2ζ72ζ75+2ζ722ζ74+2ζ732ζ76+2ζ72ζ75+2ζ72ζ75+ζ72+2-ζ75-ζ72-1-ζ76-ζ7-1-ζ74-ζ73-1-ζ75-ζ72-1ζ74+ζ73+2-ζ74-ζ73-1ζ76+ζ7+2-ζ76-ζ7-1000000    orthogonal faithful
ρ2040002ζ74+2ζ732ζ76+2ζ72ζ75+2ζ722ζ76+2ζ72ζ75+2ζ722ζ74+2ζ73-ζ75-ζ72-1-ζ76-ζ7-1-ζ74-ζ73-1-ζ75-ζ72-1ζ74+ζ73+2-ζ74-ζ73-1ζ76+ζ7+2-ζ76-ζ7-1ζ75+ζ72+2000000    orthogonal faithful
ρ2140002ζ76+2ζ72ζ75+2ζ722ζ74+2ζ732ζ75+2ζ722ζ74+2ζ732ζ76+2ζ7-ζ74-ζ73-1-ζ75-ζ72-1-ζ76-ζ7-1-ζ74-ζ73-1ζ76+ζ7+2-ζ76-ζ7-1ζ75+ζ72+2-ζ75-ζ72-1ζ74+ζ73+2000000    orthogonal faithful
ρ2240002ζ75+2ζ722ζ74+2ζ732ζ76+2ζ72ζ74+2ζ732ζ76+2ζ72ζ75+2ζ72-ζ76-ζ7-1-ζ74-ζ73-1-ζ75-ζ72-1-ζ76-ζ7-1ζ75+ζ72+2-ζ75-ζ72-1ζ74+ζ73+2-ζ74-ζ73-1ζ76+ζ7+2000000    orthogonal faithful
ρ2340002ζ75+2ζ722ζ74+2ζ732ζ76+2ζ72ζ76+2ζ72ζ75+2ζ722ζ74+2ζ73-ζ74-ζ73-1ζ76+ζ7+2ζ74+ζ73+2ζ75+ζ72+2-ζ75-ζ72-1-ζ76-ζ7-1-ζ74-ζ73-1-ζ75-ζ72-1-ζ76-ζ7-1000000    orthogonal faithful
ρ2440002ζ75+2ζ722ζ74+2ζ732ζ76+2ζ72ζ75+2ζ722ζ74+2ζ732ζ76+2ζ7ζ76+ζ7+2-ζ76-ζ7-1-ζ74-ζ73-1-ζ75-ζ72-1-ζ76-ζ7-1ζ75+ζ72+2-ζ75-ζ72-1ζ74+ζ73+2-ζ74-ζ73-1000000    orthogonal faithful
ρ2540002ζ76+2ζ72ζ75+2ζ722ζ74+2ζ732ζ76+2ζ72ζ75+2ζ722ζ74+2ζ73ζ74+ζ73+2-ζ74-ζ73-1-ζ75-ζ72-1-ζ76-ζ7-1-ζ74-ζ73-1ζ76+ζ7+2-ζ76-ζ7-1ζ75+ζ72+2-ζ75-ζ72-1000000    orthogonal faithful

Permutation representations of D72
►On 14 points - transitive group 14T13
Generators in S14
(1 2 3 4 5 6 7)(8 9 10 11 12 13 14)
(1 8)(2 14)(3 13)(4 12)(5 11)(6 10)(7 9)
(1 3 5 7 2 4 6)(8 13 11 9 14 12 10)
(1 11)(2 12)(3 13)(4 14)(5 8)(6 9)(7 10)
 
G:=sub<Sym(14)| (1,2,3,4,5,6,7)(8,9,10,11,12,13,14), (1,8)(2,14)(3,13)(4,12)(5,11)(6,10)(7,9), (1,3,5,7,2,4,6)(8,13,11,9,14,12,10), (1,11)(2,12)(3,13)(4,14)(5,8)(6,9)(7,10)>;
 
G:=Group( (1,2,3,4,5,6,7)(8,9,10,11,12,13,14), (1,8)(2,14)(3,13)(4,12)(5,11)(6,10)(7,9), (1,3,5,7,2,4,6)(8,13,11,9,14,12,10), (1,11)(2,12)(3,13)(4,14)(5,8)(6,9)(7,10) );
 
G=PermutationGroup([[(1,2,3,4,5,6,7),(8,9,10,11,12,13,14)], [(1,8),(2,14),(3,13),(4,12),(5,11),(6,10),(7,9)], [(1,3,5,7,2,4,6),(8,13,11,9,14,12,10)], [(1,11),(2,12),(3,13),(4,14),(5,8),(6,9),(7,10)]])
 
G:=TransitiveGroup(14,13);
 

►On 28 points - transitive group 28T36
Generators in S28
(1 2 3 4 5 6 7)(8 9 10 11 12 13 14)(15 16 17 18 19 20 21)(22 23 24 25 26 27 28)
(1 8)(2 14)(3 13)(4 12)(5 11)(6 10)(7 9)(15 26)(16 25)(17 24)(18 23)(19 22)(20 28)(21 27)
(1 3 5 7 2 4 6)(8 13 11 9 14 12 10)(15 20 18 16 21 19 17)(22 24 26 28 23 25 27)
(1 21)(2 15)(3 16)(4 17)(5 18)(6 19)(7 20)(8 27)(9 28)(10 22)(11 23)(12 24)(13 25)(14 26)
 
G:=sub<Sym(28)| (1,2,3,4,5,6,7)(8,9,10,11,12,13,14)(15,16,17,18,19,20,21)(22,23,24,25,26,27,28), (1,8)(2,14)(3,13)(4,12)(5,11)(6,10)(7,9)(15,26)(16,25)(17,24)(18,23)(19,22)(20,28)(21,27), (1,3,5,7,2,4,6)(8,13,11,9,14,12,10)(15,20,18,16,21,19,17)(22,24,26,28,23,25,27), (1,21)(2,15)(3,16)(4,17)(5,18)(6,19)(7,20)(8,27)(9,28)(10,22)(11,23)(12,24)(13,25)(14,26)>;
 
G:=Group( (1,2,3,4,5,6,7)(8,9,10,11,12,13,14)(15,16,17,18,19,20,21)(22,23,24,25,26,27,28), (1,8)(2,14)(3,13)(4,12)(5,11)(6,10)(7,9)(15,26)(16,25)(17,24)(18,23)(19,22)(20,28)(21,27), (1,3,5,7,2,4,6)(8,13,11,9,14,12,10)(15,20,18,16,21,19,17)(22,24,26,28,23,25,27), (1,21)(2,15)(3,16)(4,17)(5,18)(6,19)(7,20)(8,27)(9,28)(10,22)(11,23)(12,24)(13,25)(14,26) );
 
G=PermutationGroup([[(1,2,3,4,5,6,7),(8,9,10,11,12,13,14),(15,16,17,18,19,20,21),(22,23,24,25,26,27,28)], [(1,8),(2,14),(3,13),(4,12),(5,11),(6,10),(7,9),(15,26),(16,25),(17,24),(18,23),(19,22),(20,28),(21,27)], [(1,3,5,7,2,4,6),(8,13,11,9,14,12,10),(15,20,18,16,21,19,17),(22,24,26,28,23,25,27)], [(1,21),(2,15),(3,16),(4,17),(5,18),(6,19),(7,20),(8,27),(9,28),(10,22),(11,23),(12,24),(13,25),(14,26)]])
 
G:=TransitiveGroup(28,36);
 

D72 is a maximal subgroup of   D7≀C2
D72 is a maximal quotient of   Dic7⋊2D7  C72⋊2D4  C7⋊D28  C72⋊2Q8

Polynomial with Galois group D72 over ℚ
actionf(x)Disc(f)
14T13x14-2x13-29x12-222x11-352x10+3498x9+18163x8+46467x7+92188x6+128405x5+96637x4+31142x3+7064x2+6304x+2432236·74·232·7111·1517·14232·17232·1610392·17685172

Matrix representation of D72 ►in GL4(𝔽29) generated by

1000
0100
0074
0070
,
28000
02800
001911
002010
,
101800
172200
0010
0001
,
28100
0100
00280
00028
G:=sub<GL(4,GF(29))| [1,0,0,0,0,1,0,0,0,0,7,7,0,0,4,0],[28,0,0,0,0,28,0,0,0,0,19,20,0,0,11,10],[10,17,0,0,18,22,0,0,0,0,1,0,0,0,0,1],[28,0,0,0,1,1,0,0,0,0,28,0,0,0,0,28] >;
 

D72 in GAP, Magma, Sage, TeX

D_7^2
 
% in TeX
 
G:=Group("D7^2");
 
// GroupNames label
 
G:=SmallGroup(196,9);
 
// by ID
 
G=gap.SmallGroup(196,9);
 
# by ID
 
G:=PCGroup([4,-2,-2,-7,-7,150,2691]);
 
// Polycyclic
 
G:=Group<a,b,c,d|a^7=b^2=c^7=d^2=1,b*a*b=a^-1,a*c=c*a,a*d=d*a,b*c=c*b,b*d=d*b,d*c*d=c^-1>;
 
// generators/relations
 

Export

Subgroup lattice of D72 in TeX
Character table of D72 in TeX

׿
×
⋊
ℤ
𝔽
○
≀
ℚ
◁